TAGs: section solving systems